There are numerous applications where we have to deal with temporaluncertainty associated with events. The Temporal Probabilistic (TP) LogicPrograms should provide support for valid-time indeterminacy of events, byproposing the concept of an indeterminate instant, that is, an interval oftime-points (event's time-window) with an associated, lower and upper,probability distribution. In particular, we propose the new semantics, for theTP Logic Programs of Dekhtyar and Subrahmanian. Our semantics, based on thepossible world semantics is a generalization of the possible world semanticsfor (non temporal) Probabilistic Logic Programming, and we define the newsyntax for PT-programs, with time variable explicitly represented in all atoms,and show how the standard role of Herbrand interpretations used as possibleworlds for probability distributions is coherently extended to TemporalProbabilistic Logic Programming.
展开▼
